home *** CD-ROM | disk | FTP | other *** search
- *** orig/make-3.71/commands.c Thu Jul 21 01:29:32 1994
- --- src/make-3.71/commands.c Thu Jul 21 01:32:04 1994
- ***************
- *** 329,334 ****
- --- 329,335 ----
- fatal_error_signal (sig)
- int sig;
- {
- + #ifndef __MSDOS__
- handling_fatal_signal = 1;
-
- /* Set the handling for this signal to the default.
- ***************
- *** 385,390 ****
- --- 386,396 ----
- will be unblocked when we return and arrive then to kill us. */
- if (kill (getpid (), sig) < 0)
- pfatal_with_name ("kill");
- +
- + #else /* MSDOS */
- + remove_intermediates(1);
- + exit(1);
- + #endif /* ?MSDOS */
- }
-
- /* Delete FILE unless it's precious or not actually a file (phony),
-